Buy Used and New Andrey Rybalchenko Books

Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, ... Computer Science and General Issues)

by

ISBN 13: 9783642033506

Format: Paperback (369 pages)
Publisher: Springer
Published: 28 Jul 2009

Save for later

Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers: 8164 (Lecture Notes in Computer Science)

by Ernie Cohen,Andrey Rybalchenko

ISBN 13: 9783642541070

Format: Paperback (364 pages)
Publisher: Springer
Published: 23 Jan 2014

Save for later